home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group00a.txt / 000111_icon-group-sender _Thu May 18 16:24:39 2000.msg < prev    next >
Internet Message Format  |  2001-01-03  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.9.1a/8.9.1) id QAA28120
  4.     for icon-group-addresses; Thu, 18 May 2000 16:23:25 -0700 (MST)
  5. Message-Id: <200005182323.QAA28120@baskerville.CS.Arizona.EDU>
  6. From: "J.R. Sampson" <jsampson@indexes.u-net.com>
  7. To: icon-group@optima.CS.Arizona.EDU
  8. Date: Thu, 18 May 2000 22:52:24 +0100
  9. Subject: Logicon Prolog interpreter
  10. Errors-To: icon-group-errors@optima.CS.Arizona.EDU
  11. Status: RO
  12.  
  13. Hello -
  14.  
  15. I have been looking at Alan Finlay's Prolog interpreter v.4 which Mr 
  16. Van Dorp kindly sent me some time ago.
  17. Impressions so far:
  18. At first I thought it didn't like me, but I have found postings about it 
  19. in the newsgroup file group90a.txt in the newsgroup directory in the 
  20. Icon FTP site. For the first time I was able to enter material to the 
  21. interpreter without it complaining of a syntax error every time - a 
  22. 'Eureka' moment for me as always.
  23.  
  24. There is documentation in group90a.txt for Version 2, but Version 4 
  25. is more advanced, implementing assert and retract clauses etc. I 
  26. have not been able to find the test files test1.plg etc. that are 
  27. mentioned in the postings.
  28.  
  29. Queries should not have spaces after the prefix ':-' or ?-' e.g.
  30. :-predicate,....,predicate. I think on the whole LogIcon does not like 
  31. spaces at all, but I haven't experimented much.
  32.  
  33. I think files for it to 'consult' should strictly be UNIX format text files 
  34. rather than MS-DOS format.
  35.  
  36. The interpreter itself is in the above-mentioned archive file, as well 
  37. as its predecessors, but beware of emailer mangling of the format.
  38.  
  39. Regards
  40.  
  41. _John Sampson_
  42.